Workshop on Abduction and Induction in AI and Scientific Modelling

نویسندگان

  • Peter A. Flach
  • Antonis C. Kakas
  • Lorenzo Magnani
  • Oliver Ray
  • Antonis Kakas
چکیده

ion, induction and abduction in scientific modelling D. Portides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Disjunctive bottom set and its computation W. Lu and R. King . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Abduction, induction, and the logic of scientific knowledge development P. Flach, A. Kakas and O. Ray . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 An abduction framework for handling incompleteness in first-order learning S. Ferilli, F. Esposito, N. Di Mauro, T. Basile and M. Biba . . . . . . . . . . . . . . . 24 Using abduction for induction of normal logic programs O. Ray . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 Abduction, induction, and the robot scientist (invited talk abstract) R. King . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Abduction and Induction in AI: Report of the IJCAI’97 Workshop

Over twenty researchers participated in this IJCAI’97 workshop to dicuss the general relationship of abduction and induction. The main aim of the workshop was set out to address the issue of the relation and integration of Abdcution and Induction in the context of (practical) AI problems. This focus was summarized by the following questions: What (if anything) distinguishes/characterizes each f...

متن کامل

Conferences Abduction and Induction in AI : Report of the IJCAI ’ 97 Workshop

• What (if anything) distinguishes/characterizes each form of reasoning and their corresponding computational models? • How can we characterize different prototypical AI tasks for which it is appropriate to use one of these two forms of reasoning? • How can Abduction and Induction be integrated in the context of Artificial Intelligence problems? For example, – How do we learn abductive theories...

متن کامل

Appears in the Working Notes of the IJCAI-97 Workshop on Abduction and Induction in AI Integrating Abduction and Induction in Machine Learning

This paper discusses the integration of traditional abductive and inductive reasoning methods in the development of machine learning systems. In particular, the paper discusses our recent work in two areas: 1) The use of traditional abductive methods to propose revisions during theory reene-ment, where an existing knowledge base is modiied to make it consistent with a set of empirical data; and...

متن کامل

Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop

This workshop brought together some 20 researchers – with varying backgrounds in Artificial Intelligence, Machine Learning, Logic Programming and Philosophy – to discuss the relations and differences between abductive and inductive reasoning as perceived in each of those disciplines. As this workshop was the first in its kind, and also because of the widely different backgrounds of the particip...

متن کامل

Modelling Inhibition in Metabolic Pathways Through Abduction and Induction

In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unknown enzymes or inhibitors. We show how we can model, within Abductive Logic Programming (ALP), inhibition in metabolic pathways and use abduction to generate facts about inhibition of enzymes by a particular toxin (e.g. Hydrazi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006